Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
481	Tableaux for Verification of Data-Centric Processes Andreas Bauer, Peter Baumgartner, Martin Diller and Michael Norrish NICTA? and Australian National University, Canberra, Australia Abstract. Current approaches to analy Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2013-06-19 01:47:13 Model theory Formal languages Metalogic Linear temporal logic Temporal logic Logical syntax Interpretation First-order logic Symbol Logic Mathematical logic Mathematics
482	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein >>= Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Science Program logic Computer law Copyleft Monad Isabelle Formal verification Predicate transformer semantics Creative Commons Theoretical computer science Formal methods Applied mathematics
483	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein C Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Program logic Law Computer law Copyleft Intellectual property law Isabelle Predicate transformer semantics L4 microkernel family Hoare logic Theoretical computer science Open content Formal methods
484	Outline Model checking real-time systems Algorithmic Verification Comp4151 Lecture 12-B Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:07 Models of computation Hybrid automaton Model checking Formal methods Computer science Finite-state machine Hybrid system Automata theory Differential equations Theoretical computer science
485	Towards the Industrial Scale Development of Custom Static Analyzers John Anton, Eric Bush, Allen Goldberg, Klaus Havelund, Doug Smith, Arnaud Venet Kestrel Technology LLC 4984 El Camino Real #230 Los Altos, CA 94022 Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:17:59 Computer programming Logic in computer science Program analysis Abstract interpretation Static program analysis Astrée Formal verification Runtime verification Programming language Software engineering Computing Formal methods
486	ISSUE 18 June[removed]www.nicta.com.au Continued funding provides solid foundation for ICT research Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:48 Academia Gernot Heiser Red Lizard Software Gi-Fi L4 microkernel family Defence Science and Technology Organisation University of New South Wales Research Formal verification Association of Commonwealth Universities NICTA UNSW School of Computer Science and Engineering
487	TUM ¨ R INFORMATIK INSTITUT FU Runtime verification revisited Oliver Arafat, Andreas Bauer, Martin Leucker, Christian Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:37 Formal languages Computer science Applied mathematics Linear temporal logic Temporal logic Ω-automaton Deterministic finite automaton Nondeterministic finite automaton Model theory Automata theory Theoretical computer science Models of computation
488	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein 1 Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Copyleft Computer law Intellectual property law Automated theorem proving Formal methods Isabelle L4 microkernel family Creative Commons KeY Open content Mathematical software Law
489	An Overview of the Runtime Verification Tool Java PathExplorer Klaus Havelund Kestrel Technology NASA Ames Research Center California, USA Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:12:55 Temporal logic Mathematics Computing Formal methods Linear temporal logic Model checking Runtime verification Java Pathfinder Deadlock Theoretical computer science Concurrency Logic in computer science
490	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein HOL Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Formal methods Predicate logic Functional languages Fixed-point combinator Id First-order logic Simply typed lambda calculus Isabelle Mathematical logic Logic Theoretical computer science

UPDATE